[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 108 69 163 0 117 0 0 0

N.S.

1 1.08 0.69 1.63 0.00 1.17 0.00 0.00 0.00

time (sec)

N/A 0.459 0.290 0.739 0.000 0.093 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 104 61 417 0 123 0 0 0

N.S.

1 1.07 0.63 4.30 0.00 1.27 0.00 0.00 0.00

time (sec)

N/A 0.468 0.346 0.781 0.000 0.098 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 74 51 147 0 101 0 0 0

N.S.

1 1.03 0.71 2.04 0.00 1.40 0.00 0.00 0.00

time (sec)

N/A 0.352 0.189 0.503 0.000 0.084 0.000 0.000 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 70 48 389 0 86 0 0 0

N.S.

1 1.08 0.74 5.98 0.00 1.32 0.00 0.00 0.00

time (sec)

N/A 0.344 0.198 0.621 0.000 0.104 0.000 0.000 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 41 69 0 60 0 0 0

N.S.

1 1.00 1.00 1.68 0.00 1.46 0.00 0.00 0.00

time (sec)

N/A 0.251 0.018 0.538 0.000 0.088 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 38 299 0 66 0 0 0

N.S.

1 1.00 1.00 7.87 0.00 1.74 0.00 0.00 0.00

time (sec)

N/A 0.225 0.020 0.597 0.000 0.090 0.000 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 74 60 141 0 87 0 0 0

N.S.

1 1.07 0.87 2.04 0.00 1.26 0.00 0.00 0.00

time (sec)

N/A 0.354 0.086 0.606 0.000 0.095 0.000 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 76 60 417 0 95 0 0 0

N.S.

1 1.13 0.90 6.22 0.00 1.42 0.00 0.00 0.00

time (sec)

N/A 0.369 0.122 0.620 0.000 0.106 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 112 66 157 0 100 0 0 0

N.S.

1 1.15 0.68 1.62 0.00 1.03 0.00 0.00 0.00

time (sec)

N/A 0.472 0.247 0.652 0.000 0.098 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 112 70 451 0 108 0 0 0

N.S.

1 1.18 0.74 4.75 0.00 1.14 0.00 0.00 0.00

time (sec)

N/A 0.475 0.345 0.582 0.000 0.107 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 108 69 166 0 117 0 0 0

N.S.

1 1.08 0.69 1.66 0.00 1.17 0.00 0.00 0.00

time (sec)

N/A 0.454 0.402 0.677 0.000 0.097 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 104 64 420 0 123 0 0 0

N.S.

1 1.04 0.64 4.20 0.00 1.23 0.00 0.00 0.00

time (sec)

N/A 0.451 0.226 0.564 0.000 0.093 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 74 56 150 0 101 0 0 0

N.S.

1 1.03 0.78 2.08 0.00 1.40 0.00 0.00 0.00

time (sec)

N/A 0.344 0.227 0.512 0.000 0.103 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 70 51 392 0 86 0 0 0

N.S.

1 1.03 0.75 5.76 0.00 1.26 0.00 0.00 0.00

time (sec)

N/A 0.340 0.217 0.608 0.000 0.096 0.000 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 41 72 0 60 0 0 0

N.S.

1 1.00 1.00 1.76 0.00 1.46 0.00 0.00 0.00

time (sec)

N/A 0.251 0.011 0.592 0.000 0.094 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 41 305 0 66 0 0 0

N.S.

1 1.00 1.00 7.44 0.00 1.61 0.00 0.00 0.00

time (sec)

N/A 0.247 0.022 0.309 0.000 0.093 0.000 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 59 144 0 87 0 0 0

N.S.

1 1.00 0.82 2.00 0.00 1.21 0.00 0.00 0.00

time (sec)

N/A 0.323 0.044 0.524 0.000 0.096 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 74 60 420 0 95 0 0 0

N.S.

1 1.07 0.87 6.09 0.00 1.38 0.00 0.00 0.00

time (sec)

N/A 0.356 0.067 0.550 0.000 0.096 0.000 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 112 66 160 0 100 0 0 0

N.S.

1 1.14 0.67 1.63 0.00 1.02 0.00 0.00 0.00

time (sec)

N/A 0.481 0.140 0.600 0.000 0.096 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 112 73 454 0 108 0 0 0

N.S.

1 1.15 0.75 4.68 0.00 1.11 0.00 0.00 0.00

time (sec)

N/A 0.482 0.324 0.598 0.000 0.124 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 108 64 166 0 117 0 0 0

N.S.

1 1.08 0.64 1.66 0.00 1.17 0.00 0.00 0.00

time (sec)

N/A 0.452 0.473 0.627 0.000 0.105 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 104 64 420 0 123 0 0 0

N.S.

1 1.04 0.64 4.20 0.00 1.23 0.00 0.00 0.00

time (sec)

N/A 0.452 0.354 0.623 0.000 0.101 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 74 51 149 0 101 0 0 0

N.S.

1 1.03 0.71 2.07 0.00 1.40 0.00 0.00 0.00

time (sec)

N/A 0.347 0.214 0.566 0.000 0.091 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 70 51 392 0 86 0 0 0

N.S.

1 1.03 0.75 5.76 0.00 1.26 0.00 0.00 0.00

time (sec)

N/A 0.350 0.245 0.575 0.000 0.089 0.000 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 41 72 0 60 0 0 0

N.S.

1 1.00 1.00 1.76 0.00 1.46 0.00 0.00 0.00

time (sec)

N/A 0.260 0.015 0.626 0.000 0.086 0.000 0.000 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 38 305 0 66 0 0 0

N.S.

1 1.00 0.93 7.44 0.00 1.61 0.00 0.00 0.00

time (sec)

N/A 0.255 0.213 0.291 0.000 0.091 0.000 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 76 62 144 0 87 0 0 0

N.S.

1 1.06 0.86 2.00 0.00 1.21 0.00 0.00 0.00

time (sec)

N/A 0.353 0.033 0.523 0.000 0.096 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 60 420 0 95 0 0 0

N.S.

1 1.00 0.83 5.83 0.00 1.32 0.00 0.00 0.00

time (sec)

N/A 0.322 0.040 0.537 0.000 0.099 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 110 66 160 0 100 0 0 0

N.S.

1 1.13 0.68 1.65 0.00 1.03 0.00 0.00 0.00

time (sec)

N/A 0.474 0.037 0.573 0.000 0.099 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 112 73 454 0 108 0 0 0

N.S.

1 1.14 0.74 4.63 0.00 1.10 0.00 0.00 0.00

time (sec)

N/A 0.475 0.172 0.564 0.000 0.112 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 108 66 160 0 100 0 0 0

N.S.

1 1.08 0.66 1.60 0.00 1.00 0.00 0.00 0.00

time (sec)

N/A 0.427 0.016 0.500 0.000 0.105 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 83 64 104 1656 229 0 0 0

N.S.

1 0.78 0.60 0.97 15.48 2.14 0.00 0.00 0.00

time (sec)

N/A 0.372 0.172 1.022 0.483 0.320 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 48 45 48 294 43 0 0 126

N.S.

1 0.69 0.64 0.69 4.20 0.61 0.00 0.00 1.80

time (sec)

N/A 0.231 0.101 0.662 0.398 0.269 0.000 0.000 15.010

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 57 50 92 661 199 0 0 0

N.S.

1 0.79 0.69 1.28 9.18 2.76 0.00 0.00 0.00

time (sec)

N/A 0.282 0.061 0.574 0.461 0.298 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 32 35 54 30 0 0 46

N.S.

1 1.00 1.00 1.09 1.69 0.94 0.00 0.00 1.44

time (sec)

N/A 0.215 0.022 0.661 0.439 0.272 0.000 0.000 0.295

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 33 46 65 111 0 0 0

N.S.

1 1.00 1.00 1.39 1.97 3.36 0.00 0.00 0.00

time (sec)

N/A 0.208 0.016 0.579 0.378 0.296 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 28 26 98 22 0 24

N.S.

1 1.00 1.00 1.17 1.08 4.08 0.92 0.00 1.00

time (sec)

N/A 0.149 0.038 0.537 0.319 0.295 1.805 0.000 12.522

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 32 29 13 30 46 38 32

N.S.

1 1.00 1.00 0.91 0.41 0.94 1.44 1.19 1.00

time (sec)

N/A 0.215 0.212 0.625 0.387 0.268 3.653 0.857 0.275

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 48 45 45 25 158 107 140 41

N.S.

1 0.76 0.71 0.71 0.40 2.51 1.70 2.22 0.65

time (sec)

N/A 0.207 0.195 0.657 0.445 0.315 9.813 1.323 12.696

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 48 45 47 42 48 0 0 45

N.S.

1 0.69 0.64 0.67 0.60 0.69 0.00 0.00 0.64

time (sec)

N/A 0.223 0.132 0.731 0.406 0.266 0.000 0.000 12.834

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 74 55 64 49 202 0 0 52

N.S.

1 0.76 0.56 0.65 0.50 2.06 0.00 0.00 0.53

time (sec)

N/A 0.275 0.313 0.716 0.429 0.314 0.000 0.000 12.775

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 84 64 105 1742 236 0 0 0

N.S.

1 0.76 0.58 0.95 15.84 2.15 0.00 0.00 0.00

time (sec)

N/A 0.375 0.153 0.639 0.487 0.307 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 49 45 49 299 44 0 0 127

N.S.

1 0.68 0.62 0.68 4.15 0.61 0.00 0.00 1.76

time (sec)

N/A 0.229 0.104 0.533 0.398 0.282 0.000 0.000 13.840

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 58 50 93 691 202 0 0 0

N.S.

1 0.78 0.68 1.26 9.34 2.73 0.00 0.00 0.00

time (sec)

N/A 0.285 0.077 0.541 0.435 0.295 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 32 36 54 31 0 0 47

N.S.

1 1.00 0.97 1.09 1.64 0.94 0.00 0.00 1.42

time (sec)

N/A 0.220 0.025 0.588 0.393 0.267 0.000 0.000 0.216

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 33 47 68 112 0 0 0

N.S.

1 1.00 0.97 1.38 2.00 3.29 0.00 0.00 0.00

time (sec)

N/A 0.202 0.024 0.547 0.462 0.295 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 25 29 26 99 22 0 25

N.S.

1 1.00 1.00 1.16 1.04 3.96 0.88 0.00 1.00

time (sec)

N/A 0.152 0.051 0.539 0.367 0.304 3.464 0.000 0.097

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 32 30 13 31 46 38 33

N.S.

1 1.00 0.97 0.91 0.39 0.94 1.39 1.15 1.00

time (sec)

N/A 0.193 0.201 0.561 0.406 0.275 18.084 0.868 0.242

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 49 45 46 28 161 0 0 42

N.S.

1 0.75 0.69 0.71 0.43 2.48 0.00 0.00 0.65

time (sec)

N/A 0.208 0.238 0.535 0.410 0.311 0.000 0.000 0.370

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 49 45 48 45 51 0 0 46

N.S.

1 0.68 0.62 0.67 0.62 0.71 0.00 0.00 0.64

time (sec)

N/A 0.226 0.151 0.607 0.412 0.269 0.000 0.000 13.279

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 75 55 65 53 207 0 0 53

N.S.

1 0.74 0.54 0.64 0.52 2.05 0.00 0.00 0.52

time (sec)

N/A 0.283 0.480 0.444 0.401 0.327 0.000 0.000 0.521

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 63 57 61 705 63 0 0 205

N.S.

1 0.54 0.49 0.53 6.08 0.54 0.00 0.00 1.77

time (sec)

N/A 0.233 0.238 24.605 0.474 0.279 0.000 0.000 18.012

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 51 45 51 311 48 0 0 129

N.S.

1 0.67 0.59 0.67 4.09 0.63 0.00 0.00 1.70

time (sec)

N/A 0.235 0.120 0.570 0.440 0.276 0.000 0.000 1.295

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 60 50 95 747 208 0 0 0

N.S.

1 0.77 0.64 1.22 9.58 2.67 0.00 0.00 0.00

time (sec)

N/A 0.286 0.094 0.616 0.419 0.316 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 32 38 54 33 0 0 66

N.S.

1 1.00 0.91 1.09 1.54 0.94 0.00 0.00 1.89

time (sec)

N/A 0.220 0.037 0.539 0.416 0.273 0.000 0.000 13.538

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 33 49 72 114 0 0 0

N.S.

1 1.00 0.92 1.36 2.00 3.17 0.00 0.00 0.00

time (sec)

N/A 0.208 0.041 0.520 0.418 0.297 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 24 31 26 101 22 0 27

N.S.

1 1.00 0.89 1.15 0.96 3.74 0.81 0.00 1.00

time (sec)

N/A 0.152 0.060 0.553 0.390 0.296 47.272 0.000 0.111

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 32 32 13 33 0 0 35

N.S.

1 1.00 0.91 0.91 0.37 0.94 0.00 0.00 1.00

time (sec)

N/A 0.198 0.291 0.540 0.411 0.272 0.000 0.000 13.795

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 51 45 48 32 167 0 0 44

N.S.

1 0.74 0.65 0.70 0.46 2.42 0.00 0.00 0.64

time (sec)

N/A 0.215 0.334 0.539 0.437 0.307 0.000 0.000 0.353

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 51 45 50 49 55 0 0 48

N.S.

1 0.67 0.59 0.66 0.64 0.72 0.00 0.00 0.63

time (sec)

N/A 0.232 0.209 0.385 0.438 0.273 0.000 0.000 13.886

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 57 50 92 661 205 0 0 0

N.S.

1 0.79 0.69 1.28 9.18 2.85 0.00 0.00 0.00

time (sec)

N/A 0.282 0.065 0.619 0.410 0.312 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 32 35 59 33 0 0 51

N.S.

1 1.00 1.00 1.09 1.84 1.03 0.00 0.00 1.59

time (sec)

N/A 0.216 0.027 0.587 0.416 0.262 0.000 0.000 0.270

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

33 33 33 46 65 114 0 0 0

N.S.

1 1.00 1.00 1.39 1.97 3.45 0.00 0.00 0.00

time (sec)

N/A 0.205 0.017 0.555 0.403 0.297 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 24 28 26 101 22 0 27

N.S.

1 1.00 1.00 1.17 1.08 4.21 0.92 0.00 1.12

time (sec)

N/A 0.145 0.037 0.523 0.332 0.295 3.446 0.000 0.250

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 32 29 13 33 46 0 35

N.S.

1 1.00 1.00 0.91 0.41 1.03 1.44 0.00 1.09

time (sec)

N/A 0.202 0.150 0.521 0.383 0.261 6.527 0.000 13.733

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 48 45 45 25 165 107 0 44

N.S.

1 0.76 0.71 0.71 0.40 2.62 1.70 0.00 0.70

time (sec)

N/A 0.209 0.158 0.515 0.420 0.297 7.532 0.000 13.911

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 48 45 47 42 51 82 0 48

N.S.

1 0.69 0.64 0.67 0.60 0.73 1.17 0.00 0.69

time (sec)

N/A 0.220 0.094 0.522 0.405 0.281 23.975 0.000 13.914

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 60 50 95 670 205 0 0 0

N.S.

1 0.77 0.64 1.22 8.59 2.63 0.00 0.00 0.00

time (sec)

N/A 0.285 0.079 0.584 0.418 0.295 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 32 38 67 33 0 0 51

N.S.

1 1.00 0.91 1.09 1.91 0.94 0.00 0.00 1.46

time (sec)

N/A 0.213 0.042 0.522 0.404 0.292 0.000 0.000 0.267

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 33 49 65 114 0 0 0

N.S.

1 1.00 0.92 1.36 1.81 3.17 0.00 0.00 0.00

time (sec)

N/A 0.210 0.030 0.574 0.397 0.299 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 31 26 101 22 0 27

N.S.

1 1.00 1.00 1.15 0.96 3.74 0.81 0.00 1.00

time (sec)

N/A 0.148 0.045 0.592 0.336 0.300 5.178 0.000 0.258

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 32 32 13 33 46 0 39

N.S.

1 1.00 0.91 0.91 0.37 0.94 1.31 0.00 1.11

time (sec)

N/A 0.194 0.219 0.603 0.403 0.266 3.928 0.000 13.283

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 51 45 48 25 165 107 0 44

N.S.

1 0.74 0.65 0.70 0.36 2.39 1.55 0.00 0.64

time (sec)

N/A 0.206 0.185 0.566 0.422 0.298 8.198 0.000 13.178

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 51 45 50 42 51 82 0 48

N.S.

1 0.67 0.59 0.66 0.55 0.67 1.08 0.00 0.63

time (sec)

N/A 0.223 0.106 0.659 0.411 0.272 14.022 0.000 13.138

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 77 55 67 49 208 184 0 55

N.S.

1 0.72 0.51 0.63 0.46 1.94 1.72 0.00 0.51

time (sec)

N/A 0.285 0.267 0.543 0.427 0.316 105.669 0.000 13.575

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 60 53 95 688 205 0 0 0

N.S.

1 0.77 0.68 1.22 8.82 2.63 0.00 0.00 0.00

time (sec)

N/A 0.292 0.053 0.336 0.429 0.305 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 32 38 67 33 0 0 51

N.S.

1 1.00 0.91 1.09 1.91 0.94 0.00 0.00 1.46

time (sec)

N/A 0.219 0.038 0.526 0.403 0.273 0.000 0.000 0.263

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 33 49 65 114 0 0 0

N.S.

1 1.00 0.92 1.36 1.81 3.17 0.00 0.00 0.00

time (sec)

N/A 0.210 0.028 0.546 0.404 0.315 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 27 31 26 101 22 0 27

N.S.

1 1.00 1.00 1.15 0.96 3.74 0.81 0.00 1.00

time (sec)

N/A 0.151 0.040 0.535 0.377 0.294 49.360 0.000 13.200

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 35 32 13 33 46 0 39

N.S.

1 1.00 1.00 0.91 0.37 0.94 1.31 0.00 1.11

time (sec)

N/A 0.197 0.257 0.530 0.412 0.282 18.693 0.000 13.237

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 51 48 48 25 165 107 0 64

N.S.

1 0.74 0.70 0.70 0.36 2.39 1.55 0.00 0.93

time (sec)

N/A 0.207 0.165 0.593 0.556 0.301 10.097 0.000 12.993

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 51 48 50 42 51 82 0 48

N.S.

1 0.67 0.63 0.66 0.55 0.67 1.08 0.00 0.63

time (sec)

N/A 0.225 0.065 0.638 0.536 0.274 24.402 0.000 13.784

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 77 58 67 49 208 184 0 55

N.S.

1 0.72 0.54 0.63 0.46 1.94 1.72 0.00 0.51

time (sec)

N/A 0.289 0.216 0.624 0.541 0.337 112.023 0.000 13.358

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

58 58 60 0 0 0 0 0 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.292 0.078 0.000 0.000 0.000 0.000 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

53 53 60 0 0 0 0 0 0

N.S.

1 1.00 1.13 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.279 0.054 0.000 0.000 0.000 0.000 0.000 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

56 56 55 0 0 0 0 0 0

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.263 0.044 0.000 0.000 0.000 0.000 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

58 58 58 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.318 0.069 0.000 0.000 0.000 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

58 58 59 0 0 0 0 0 0

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.336 0.165 0.000 0.000 0.000 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

58 58 60 0 0 0 0 0 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.300 0.084 0.000 0.000 0.000 0.000 0.000 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

55 55 60 0 0 0 0 0 0

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.271 0.052 0.000 0.000 0.000 0.000 0.000 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

54 54 57 0 0 0 0 0 0

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.257 0.001 0.000 0.000 0.000 0.000 0.000 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

58 58 56 0 0 0 0 0 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.299 0.003 0.000 0.000 0.000 0.000 0.000 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

58 58 60 0 0 0 0 0 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.289 0.008 0.000 0.000 0.000 0.000 0.000 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

58 58 60 0 0 0 0 0 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.283 0.062 0.000 0.000 0.000 0.000 0.000 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

53 53 60 0 0 0 0 0 0

N.S.

1 1.00 1.13 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.275 0.049 0.000 0.000 0.000 0.000 0.000 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

56 56 55 0 0 0 0 0 0

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.260 0.057 0.000 0.000 0.000 0.000 0.000 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

58 58 58 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.340 0.089 0.000 0.000 0.000 0.000 0.000 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

58 58 60 0 0 0 0 0 0

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.364 0.076 0.000 0.000 0.000 0.000 0.000 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

56 56 60 0 0 0 0 0 0

N.S.

1 1.00 1.07 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.277 0.003 0.000 0.000 0.000 0.000 0.000 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

55 55 58 0 0 0 0 0 0

N.S.

1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.274 0.012 0.000 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]